<?php

class DistribPeer extends BaseDistribPeer
{
}
